php - Redis as unique atomic id generator - Web 应用程序避免竞争条件的线程安全方式